ILLC PhD Pilot Study

نویسنده

  • Hugo Nobrega
چکیده

This is a proposal for a thesis in the interface of descriptive set theory and computable analysis, in a continuation of my MoL thesis [9]. There, I was interested in studying connections between game characterizations of classes of functions in descriptive set theory and the theory of Weihrauch reducibility, in particular searching for counterparts in computable analysis to the game characterizations obtained by Brian Semmes in his PhD thesis [25] at the ILLC, also under the supervision of Benedikt Löwe.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Findings and Recommendations

The PhD Programme eValuation Committee (PVC) has two main aims: (1) to evaluate and maintain the quality of the ILLC PhD Programme as well as the working conditions of the PhD candidates at the ILLC, and (2) to act as an independent confidant to whom PhD candidates can address their concerns. To fulfil these aims, every year the PVC conducts a series of interviews with the PhD candidates. This ...

متن کامل

Metric and Layered Temporal Logic for Time Granularity

This dissertation is about the design of temporal logics that deal with changing timegranularities. Time granularity can be de ned as the resolution power of the temporalquali cation of a statement. Providing a formalism with the concept of time granularitymakes it possible to specify time information with respect to di erently-grained temporaldomains. This does not merely m...

متن کامل

Assessment of Patient Absorbed Radiation Dose during Hysterosalpingography: A Pilot Study in Southwest Nigeria

Background: Hysterosalpingography (HSG) is an indispensable tool for diagnosing infertility in females. The procedure exposes female reproductive organs to ionizing radiation as the genitals are irradiated during the process. Investigating patient absorbed dose during the procedures is essential for effective radiological protection of the patient. Objective: This study aims to investigat...

متن کامل

The ILLC-uva SMT system for IWSLT 2010

In this paper we give an overview of the ILLC-UvA(Institute for Logic, Language and Computation University of Amsterdam) submission to the 7th International Workshop on Spoken Language Translation evaluation campaign. It outlines the architecture and configuration of the novel feature we are introducing: a syntax-based model for source-side reordering via tree transduction. We have concentrated...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014